Make titlebuttons round
authorfrederik.feichtmeier <frederik.feichtmeier@gmail.com>
Thu, 1 Aug 2019 14:09:52 +0000 (10:09 -0400)
committerTimm Bäder <mail@baedert.org>
Wed, 7 Aug 2019 16:46:47 +0000 (18:46 +0200)
commit0af2e65c808224d10dff7d6ecf7120afabf36dbb
treeb41da4e6f716265e3977b1c84fbf484eed994af1
parente8f3b47bf3f85d8ff7e562f560c576422e352436
Make titlebuttons round

- use even sides for the titlebuttons so the result is a circle and not an ellipse
- add maximum border radius
- set min width/height to 0
- adjust margin and padding to match the previous look
gtk/theme/Adwaita/_common.scss
gtk/theme/Adwaita/gtk-contained-dark.css
gtk/theme/Adwaita/gtk-contained.css